<?php
$db = NULL;
?>